transition:    
q1-a-q2;
q1-b-q1;
q1-a-q3;
q2-b-q3;
q3-b-q1;
initial:
q1;
final: 
q1;
q2.